lexicographic product of graphs